Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
121	Lower Bounds for Orthogonal Range Searching: I. The Reporting Case BERNARD CHAZELLE Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-10-01 19:10:53 Operator theory FO Finite model theory Projection Random permutation statistics Theorems and definitions in linear algebra Mathematics Mathematical analysis Algebra
122	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
123	Reproduced without access to the TeX macros. Ad-hoc macro definitions were used instead. THE BIT EXTRACTION PROBLEM OR t–RESILIENT FUNCTIONS (Preliminary Version) Benny Chor Oded Goldreich Johan Hastad Laboratory for Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2012-08-19 19:00:34 Applied mathematics Fourier analysis Randomness extractor Heat equation FO Finite model theory Mathematics
124	Constraints Journal [Preprint] manuscript No. (will be inserted by the editor) Balancing Bike Sharing Systems with Constraint Programming Luca Di Gaspero · Andrea Rendl · Add to Reading List Source URL: andrearendl.com Language: English - Date: 2014-02-09 20:07:47 Network flow Applied mathematics FO Finite model theory Bicycle sharing system Flow network Theoretical computer science Constraint programming Software engineering
125	Directed Search for Generalized Plans Using Classical Planners∗ Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein Department of Computer Science University of Massachusetts Amherst Tianjiao Zhang Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Transitive closure Linked list Mathematics Applied mathematics Mathematical logic FO Finite model theory Tree
126	Microsoft Word - Appeal for Hudhud Cyclone Rehabilitation Add to Reading List Source URL: www.dhan.org Language: English - Date: 2014-10-16 02:07:16 FO Finite model theory
127	Bounded Intention Planning Revisited Silvan Sievers and Martin Wehrle and Malte Helmert1 1 INTRODUCTION Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-08-12 09:57:03 Mathematical notation FO Finite model theory Operator Partition Mathematics Functional analysis Combinatorics
128	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
129	System Behaviors and Measures: Compressed State Complexity and Number of Unique States Used in Naval Weapons Elevators Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-05-30 12:15:58 Structure Applied mathematics Computational complexity theory Finite model theory Complexity Complex systems Physical system FO Algorithm Systems Science Complex systems theory
130	CCCG 2009, Vancouver, BC, August 17–19, 2009 Data Structures for Range Aggregation by Categories Saladi Rahul∗ Prosenjit Gupta† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:21 FO Finite model theory Computational geometry Segment tree Interval tree Bin Range searching Search algorithms Point location Mathematics Theoretical computer science Data management

UPDATE